Peter Schneider-Kamp: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Active integrity constraints for general-purpose knowledge bases

Cruz-Filipe, Luís, Gaspar, Graça, Nunes, Isabel, Schneider-Kamp, Peter

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 788 KB

english, 2018

2

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

NGUYEN, MANH THANG, DE SCHREYE, DANNY, GIESL, JÜRGEN, SCHNEIDER-KAMP, PETER

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 290 KB

english, 2011

3

Automated termination analysis for logic programs with cut

SCHNEIDER-KAMP, PETER, GIESL, JÜRGEN, STRÖDER, THOMAS, SEREBRENIK, ALEXANDER, THIEMANN, RENÉ

Journal:

Theory and Practice of Logic Programming

Year:

2010

Language:

english

File:

PDF, 582 KB

english, 2010

4

Formally Verifying the Solution to the Boolean Pythagorean Triples Problem

Cruz-Filipe, Luís, Marques-Silva, Joao, Schneider-Kamp, Peter

Journal:

Journal of Automated Reasoning

Year:

2018

File:

PDF, 1.05 MB

2018

5

Sorting nine inputs requires twenty-five comparisons

Codish, Michael, Cruz-Filipe, Luís, Frank, Michael, Schneider-Kamp, Peter

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 661 KB

english, 2016

6

[IEEE 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Romania (2014.9.22-2014.9.25)] 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes

Codish, Michael, Cruz-Filipe, Luis, Schneider-Kamp, Peter

Year:

2014

Language:

english

File:

PDF, 241 KB

english, 2014

7

[ACM Press the 3rd ACM SIGPLAN workshop - Gothenburg, Sweden (2014.09.04-2014.09.04)] Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing - FHPC '14 - Group communication patterns for high performance computing in scala

Hargreaves, Felix P., Merkle, Daniel, Schneider-Kamp, Peter

Year:

2014

Language:

english

File:

PDF, 740 KB

english, 2014

8

Static Termination Analysis for Prolog Using

Peter Schneider-Kamp

Journal:

KI - Künstliche Intelligenz

Year:

2010

Language:

english

File:

PDF, 266 KB

english, 2010

9

Adding constants to string rewriting

René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2008

Language:

english

File:

PDF, 177 KB

english, 2008

10

Automated termination proofs for haskell by term rewriting

Giesl, Jürgen, Raffelsieper, Matthias, Schneider-Kamp, Peter, Swiderski, Stephan, Thiemann, René

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2011

Language:

english

File:

PDF, 951 KB

english, 2011

11

[IEEE 2019 22nd Euromicro Conference on Digital System Design (DSD) - Kallithea, Greece (2019.8.28-2019.8.30)] 2019 22nd Euromicro Conference on Digital System Design (DSD) - System Design of an Open-Source Cloud-Based Framework for Internet of Drones Application

Mehrooz, Golizheh, Ebeid, Emad, Schneider-Kamp, Peter

Year:

2019

File:

PDF, 700 KB

2019

12

Optimal-depth sorting networks

Bundala, Daniel, Codish, Michael, Cruz-Filipe, Luís, Schneider-Kamp, Peter, Závodný, Jakub

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 996 KB

english, 2016

13

[ACM Press the 14th symposium - Leuven, Belgium (2012.09.19-2012.09.21)] Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 - Symbolic evaluation graphs and term rewriting

Giesl, Jürgen, Ströder, Thomas, Schneider-Kamp, Peter, Emmes, Fabian, Fuhs, Carsten

Year:

2012

Language:

english

File:

PDF, 789 KB

english, 2012

14

Optimizing sorting algorithms by using sorting networks

Codish, Michael, Cruz-Filipe, Luís, Nebel, Markus, Schneider-Kamp, Peter

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 1.09 MB

english, 2017

15

SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs

Michael Codish, Jürgen Giesl, Peter Schneider-Kamp, René Thiemann

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 673 KB

english, 2012

16

Automated termination proofs for logic programs by term rewriting

Schneider-Kamp, Peter, Giesl, Jürgen, Serebrenik, Alexander, Thiemann, René

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 498 KB

english, 2009

17

Mechanizing and Improving Dependency Pairs

Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 942 KB

english, 2006

18

Sorting networks: To the end and back again

Codish, Michael, Cruz-Filipe, Luís, Ehlers, Thorsten, Müller, Mike, Schneider-Kamp, Peter

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 994 KB

english, 2016

19

Proving Termination by Dependency Pairs and Inductive Theorem Proving

Carsten Fuhs, Jürgen Giesl, Michael Parting, Peter Schneider-Kamp, Stephan Swiderski

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 588 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски